Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
311	αRby : An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson {aleks,idoe,dnj}@csail.mit.edu 1 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-26 13:00:50 Alloy Z notation Constraint programming Ruby Application programming interface Software engineering Computer programming Computing
312	On solving mixed-integer constraint satisfaction problems with unbounded variables Hermann Schichl? , Arnold Neumaier, Mih´ aly Csaba Mark´ot, and Ferenc Domes Faculty of Mathematics, University of Vienna, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-01-14 04:38:39 Computing Constraint satisfaction Local consistency Mathematical optimization Projective space Transcendental number Linear programming Constraint logic programming Constraint programming Software engineering Computer programming
313	A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:40 Constraint programming Declarative programming Symbol
314	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
315	Toward Local Search Programming: LocalSolver 1.0 Thierry Benoist1 , Bertrand Estellon2 , Fr´ed´eric Gardi1 , Karim Nouioua2 1 2 Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2011-03-16 02:41:44 Computing Constraint programming Search algorithm Mathematical optimization Solver Local search Boolean data type Travelling salesman problem ALGOL 68 Operations research Software engineering Theoretical computer science
316	Sanjit A. Seshia Curriculum Vitae Department of Electrical Engineering & Computer Sciences 253 Cory Hall #1770 University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-08-15 04:37:07 Applied mathematics Constraint programming Theoretical computer science Electronic engineering Uclid
317	Sequencing Operator Counts Nir Lipovetzky Toby Davies, Adrian R. Pearce, Peter Stuckey National ICT Australia and The University of Melbourne Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-03-31 00:25:28 Mathematical optimization Operations research Combinatorial optimization Convex optimization Linear programming Algorithm Constraint optimization A* search algorithm Relaxation Constraint programming Mathematics Applied mathematics
318	CLP( ): Constraint Logic Programming for Probabilistic Knowledge Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-07-18 18:10:02 Mathematics Constraint programming Logic programming Statistical models Reasoning Constraint logic programming CLP Relational model Prolog Software engineering Programming paradigms Logic
319	Models and Strategies for Variants of the Job Shop Scheduling Problem Diarmuid Grimes1 and Emmanuel Hebrard2,3 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-09-27 04:15:08 Applied mathematics Mathematics Constraint programming Job shop scheduling Boolean satisfiability problem Open shop scheduling Scheduling Shifting bottleneck heuristic Operations research Theoretical computer science Mathematical optimization
320	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics

UPDATE